Transformation theory - PDFSEARCH.IO - Document Search Engine

Transformation theory
Results: 665

#	Item
41	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
42	C AT E G O R Y T H E O R Y Dr E. L. Cheng http://www.dpmms.cam.ac.uk/∼elgc2 · Michaelmas 2002 LECTURE 2 · Add to Reading List Source URL: cat.boffosocko.com Language: English - Date: 2015-06-01 01:22:07 Category theory Functors Universal property Morphism Subcategory Hom functor Category Natural transformation Grothendieck topology Sheaf Coproduct Representable functor
43	The Trace Factorisation of Stable Functors Paul Taylor 1998 Abstract A functor is stable if it has a left adjoint on each slice. Such functors arise as forgetful functors from categories of models of disjunctive theories Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:08:46 Functors Category theory Sheaf theory Adjoint functors Universal property Cartesian closed category Limit Natural transformation Product Initial and terminal objects Grothendieck topology Sheaf
44	Further Notes on “Frieze Patterns” 1. The frieze design Different techniques may be applied to produce the design of a frieze, namely: Add to Reading List Source URL: www.mathematicsinthemaking.eu Language: English - Date: 2014-12-09 08:00:01 Functions and mappings Transformation Linear operators Symmetry Frieze group Glide reflection Reflection Group theory Rotation Frieze Isometry John Amos Comenius
45	The Applicability of Logic Program Analysis and Transformation to Theorem Proving 1 D.A. de Waal Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:11 Automated theorem proving Rules of inference Resolution Model theory Logic in computer science Logic programming First-order logic Modal logic Prolog E theorem prover Superposition calculus CARINE
46	Young Women in Topology Bonn, June 25 – 27, 2010 Factorability of Groups Viktoriya Ozornova Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2010-06-30 08:04:37 Lie groups Group theory Algebraic topology Homotopy theory Homological algebra Classifying space Cohomology Coxeter group Symmetric group Spectral sequence Natural transformation Norm
47	41 Documenta Math. Comparison of Abelian Categories Recollements Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2004-03-18 14:08:08 Homological algebra Functors Additive categories Category theory Exact functor Derived functor Abelian category Equivalence of categories Cohomology Adjoint functors Natural transformation Triangulated category
48	41 Documenta Math. Comparison of Abelian Categories Recollements Add to Reading List Source URL: www.math.uiuc.edu Language: English - Date: 2004-03-18 14:08:08 Homological algebra Functors Additive categories Category theory Exact functor Derived functor Abelian category Cohomology Equivalence of categories Adjoint functors Natural transformation Triangulated category
49	Geometry & Topology–On the homotopy groups of symmetric spectra S TEFAN S CHWEDE Add to Reading List Source URL: www.math.uni-bonn.de Language: English - Date: 2008-06-05 07:37:48 Homotopy theory Spectrum Adjoint functors Model category Homotopy category Symmetric spectrum Cohomology Stable homotopy theory Functor Homotopy Natural transformation Symmetric group
50	Linear Equations Stephen Boyd EE103 Stanford University October 7, 2015 Add to Reading List Source URL: stanford.edu Language: English - Date: 2015-10-07 23:56:46 Differential calculus Mathematical analysis Group theory Vector space Vectors Derivative Linear equation Affine transformation Linear function Linear algebra Linear regression

UPDATE